- Church thesis
- тезис Чёрча (о вычислимости по Тьюрингу)
English-Russian dictionary of computer science and programming. 2013.
Church thesis
Смотреть что такое "Church thesis" в других словарях:
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Church News — Type Weekly newspaper Format Tabloid Owner Deseret News Publishing Company (Deseret Management Corporation) Editor … Wikipedia
Church (surname) — Church is an English surname. Notable people with the surname include: Albert T. Church (born 1947), Vice Admiral in the United States Navy Alonzo Church (1903–1995), logician, famous for the Church Turing thesis and lambda calculus Captain… … Wikipedia
Church of St John the Baptist, Midsomer Norton — Church of St John the Baptist Location: Midsomer Norton, Somerset, England Coordinates … Wikipedia
CHURCH (A.) — CHURCH ALONZO (1903 ) Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né à Washington. Professeur de mathématiques à l’université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale «le… … Encyclopédie Universelle
Church of the Apostles — can refer to: Movements The early church of the apostles. Buildings the Upper Room of Acts 1:13, the original Christian meeting place of the 1st century Apostles, possibly under the Cenacle of Jerusalem. Church of Zion, Jerusalem, a putative… … Wikipedia
Church's thesis (constructive mathematics) — In constructive mathematics, Church s thesis is the mathematical assertion that all total functions are recursive. It gets its name after the informal Church–Turing thesis, which states that every algorithm is in fact a recursive function, but… … Wikipedia
Church of Zion, Jerusalem — The Church of Zion, Jerusalem, also known as the Church of the Apostles on Mount Zion, is the thesis of a presumed distinct Jewish Christian congregation continuing at Mount Zion in Jerusalem in the 2nd 5th Century, when it was the Roman colony… … Wikipedia
Church, Alonzo — born June 14, 1903, Washington, D.C., U.S. died Aug. 11, 1995, Hudson, Ohio U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations… … Universalium
Church of the East — For other uses, see Church of the East (disambiguation). Nestorian Church redirects here. For other uses, see Nestorian (disambiguation). Nestorian priests in a procession on Palm Sunday, in a 7th or 8th century wall painting from a Nestorian… … Wikipedia
Church encoding — In mathematics, Church encoding is a means of embedding data and operators into the lambda calculus, the most familiar form being the Church numerals, a representation of the natural numbers using lambda notation. The method is named for Alonzo… … Wikipedia
